a -> (b -> c)